Non-classical logic

Results: 703



#Item
581Branches of philosophy / Metalogic / Non-classical logic / Modal logic / Epistemic modal logic / Truth / Causality / Function / Rohit Jivanlal Parikh / Logic / Philosophy / Philosophical logic

Reasoning about Belief in Social Software using Modal Logic

Add to Reading List

Source URL: www.ronalddehaan.eu

Language: English - Date: 2010-09-28 11:02:33
582Non-classical logic / Model theory / Logic programming / Philosophical logic / Kripke semantics / Default logic / Interpretation / Propositional calculus / Autoepistemic logic / Logic / Mathematical logic / Modal logic

AUTOEPISTEMIC MODAL LOGICS

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
583Deduction / Propositional calculus / Non-classical logic / Epistemic modal logic / Modal logic / Epistemology / Abductive reasoning / Theory of justification / Deductive closure / Logic / Reasoning / Philosophical logic

EXPLANATORY NOTES AND BELIEF

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
584Logic programming / Modal logic / Philosophical logic / Reasoning / Default logic / Non-monotonic logic / Autoepistemic logic / First-order logic / Inference / Logic / Mathematical logic / Non-classical logic

Nonmonotonie default modal logics (Detailed abstract)

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
585Non-classical logic / Logical syntax / Predicate logic / Logic programming / Default logic / First-order logic / Function / Entailment / Propositional formula / Logic / Mathematical logic / Propositional calculus

Preferential Logics: the Predicate Calculus case (extended abstract)

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
586Non-classical logic / Logical syntax / Philosophical logic / Interpretation / Tautology / Epistemic modal logic / Entailment / Modal logic / Relevance logic / Logic / Mathematical logic / Propositional calculus

A Nonstandard Approach to the. Logical Omniscience Problem Ronald Fagin Joseph Y. Halpern

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
587Knowledge / Non-classical logic / Philosophical logic / Branches of philosophy / Modal logic / Common knowledge / Kripke semantics / Rohit Jivanlal Parikh / Epistemology / Logic / Mathematical logic / Mathematics

RECENT ISSUES IN REASONING

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
588Philosophical logic / Computer programming / Four-square cipher / Classical cipher / Logic / Modal logic / Non-classical logic

PROPAGATING THROUGH EPISTEMIC MUTUAL

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:54
589Reasoning / Non-classical logic / Modal logic / Non-monotonic logic / Autoepistemic logic / Epistemic modal logic / Reason / Relevance / Default logic / Logic / Science / Mathematical logic

NONMONOTONIC REASONING

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
590Logic programming / Modal logic / Model theory / Philosophical logic / Default logic / Autoepistemic logic / Non-monotonic logic / Epistemic modal logic / Interpretation / Logic / Mathematical logic / Non-classical logic

EPISTEMIC SEMANTICS FOR FIXED-POINTS NON-MONOTONIC LOGICS Fangzhen Lin

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:54
UPDATE